Hybrid Adaptive Parametric Frequency Analysis
نویسندگان
چکیده
منابع مشابه
Analysis of slope - parametric hybrid
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...
متن کاملParametric Analysis of Hybrid Systems Using HyMITATOR
Hybrid automata are a powerful formalism for modeling and verifying hybrid systems, that combine continuous and discrete behavior. A common problem for hybrid systems is the good parameters problem, which consists in identifying a set of parameter valuations guaranteeing a certain good behavior of a system. We introduce here HyMITATOR, a tool for efficient parameter synthesis for hybrid automat...
متن کاملAnalysis of slope - parametric hybrid automataFr
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...
متن کاملTask-System Analysis Using Slope-Parametric Hybrid Automata
Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EAI Endorsed Transactions on Bioengineering and Bioinformatics
سال: 2021
ISSN: 2709-4111
DOI: 10.4108/eai.8-7-2020.165514